module A { header "a.h" export * }
